Internal direct product in group theory